|
A proposition is a statement expressing something true or false.〔"A statement of something to be discussed, proved, or explained." The New Merriam-Webster Dictionary, Merriam-Webster Publishers, 1969, ISBN 0877799008〕〔A. G. Hamilton, ''Logic For Mathematicians'', "... metatheorems are written in ordinary mathematical language. ... Generally speaking, our propositions are metatheorems." p. 31, Cambridge University Press, 1978, ISBN 0521292913.〕 Proposition may also refer to: ==In logic and mathematics== * Propositional calculus (also ''propositional logic'' or ''sentential calculus'') - a formal system in which formulae representing propositions can be manipulated. Contrast with Predicate calculus. * Logic: In logic a proposition is a statement that is either true or false. * Theorem#Terminology: a statement proven to be true, usually a simple result, less important than a theorem. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Proposition (disambiguation)」の詳細全文を読む スポンサード リンク
|